Functorial Liftings of Distributive Semilattices by Distances of Small Type
نویسنده
چکیده
We prove that every distributive algebraic lattice with at most א1 compact elements is isomorphic to the normal subgroup lattice of some group and to the submodule lattice of some right module. The א1 bound is optimal, as we find a distributive algebraic lattice D with א2 compact elements that is not isomorphic to the congruence lattice of any algebra with almost permutable congruences (hence neither of any group nor of any module), thus solving negatively a problem of E. T. Schmidt from 1969. Furthermore, D may be taken as the congruence lattice of the free bounded lattice on א2 generators in any non-distributive lattice variety. Some of our results are obtained via a functorial approach of the semilatticevalued ‘distances’ used by B. Jónsson in his proof of Whitman’s embedding Theorem. In particular, the semilattice of compact elements of D is not the range of any distance satisfying the V-condition of type 3/2. On the other hand, every distributive 〈∨, 0〉-semilattice is the range of a distance satisfying the V-condition of type 2. This can be done via a functorial construction.
منابع مشابه
Distributive Semilattices as Retracts of Ultraboolean Ones; Functorial Inverses without Adjunction
A 〈∨, 0〉-semilattice is ultraboolean, if it is a directed union of finite Boolean 〈∨, 0〉-semilattices. We prove that every distributive 〈∨, 0〉-semilattice is a retract of some ultraboolean 〈∨, 0〉-semilattice. This is established by proving that every finite distributive 〈∨, 0〉-semilattice is a retract of some finite Boolean 〈∨, 0〉-semilattice, and this in a functorial way. This result is, in tu...
متن کاملLiftings of Diagrams of Semilattices by Diagrams of Dimension Groups
There are various ways to obtain distributive semilattices from other mathematical objects. Two of them are the following; we refer to Section 1 for more precise definitions. A dimension group is a directed, unperforated partially ordered abelian group with the interpolation property, see also K.R. Goodearl [6]. With a dimension group G we can associate its semilattice of compact ( = finitely g...
متن کامل3 N ov 2 00 7 POSET REPRESENTATIONS OF DISTRIBUTIVE SEMILATTICES
We prove that for every distributive ∨, 0-semilattice S, there are a meet-semilattice P with zero and a map µ : P × P → S such that µ(x, z) ≤ µ(x, y) ∨ µ(y, z) and x ≤ y implies that µ(x, y) = 0, for all x, y, z ∈ P , together with the following conditions: (P1) µ(v, u) = 0 implies that u = v, for all u ≤ v in P. (P2) For all u ≤ v in P and all a, b ∈ S, if µ(v, u) ≤ a ∨ b, then there are a pos...
متن کاملPoset representations of distributive semilattices
We prove that for every distributive 〈∨, 0〉-semilattice S, there are a meet-semilattice P with zero and a map μ : P × P → S such that μ(x, z) ≤ μ(x, y)∨μ(y, z) and x ≤ y implies that μ(x, y) = 0, for all x, y, z ∈ P , together with the following conditions: (P1) μ(v, u) = 0 implies that u = v, for all u ≤ v in P . (P2) For all u ≤ v in P and all a,b ∈ S, if μ(v, u) ≤ a ∨ b, then there are a pos...
متن کامل. R A ] 4 J an 2 00 6 POSET REPRESENTATIONS OF DISTRIBUTIVE SEMILATTICES
We prove that for any distributive ∨, 0-semilattice S, there are a meet-semilattice P with zero and a map µ : P × P → S such that µ(x, z) ≤ µ(x, y) ∨ µ(y, z) and x ≤ y implies that µ(x, y) = 0, for all x, y, z ∈ P , together with the following conditions: (i) µ(v, u) = 0 implies that u = v, for all u ≤ v in P. (ii) For all u ≤ v in P and all a, b ∈ S, if µ(v, u) = a ∨ b, then there are a positi...
متن کامل